Monolithic kernels - PDFSEARCH.IO - Document Search Engine

Monolithic kernels
Results: 158

#	Item
71	CITI Technical Report[removed]An analysis of the TUX web server Chuck Lever, Sun-Netscape Alliance [removed] Add to Reading List Source URL: www.citi.umich.edu Language: English - Date: 2000-12-04 15:18:44 Linux TUX web server Monolithic kernels Cross-platform software Web server Ingo Molnár In-kernel web server Tux Kernel Software Computing System software
72	Secure Embedded Systems Need Microkernels Gernot Heiser National ICT Australia∗ and University of New South Wales Sydney, Australia Add to Reading List Source URL: www.ok-labs.com Language: English - Date: 2010-10-07 14:23:41 Microkernel Trusted computing base L4 microkernel family Monolithic kernels Virtual machines Gernot Heiser Kernel Embedded system Linux kernel Computer architecture System software Software
73	Identifying Kernel Messages at Low Cost Hidehiro Kawai [removed] Hitachi, Ltd., Yokohama Research Laboratory Copyright (c[removed]Hitachi Ltd., Yokohama Research Lab. All rights reserved Add to Reading List Source URL: events.linuxfoundation.org Language: English - Date: 2013-10-26 01:53:58 Linux kernel System software Linux Kernel Computer architecture Software Monolithic kernels
74	Detecting silent data corruptions and memory leaks using DMA Debug API Shuah Khan Senior Linux Kernel Developer – Open Source Group Add to Reading List Source URL: events.linuxfoundation.org Language: English - Date: 2013-10-17 13:13:59 Linux kernel Monolithic kernels Software Linux
75	Towards Trustworthy Computing Systems: Taking Microkernels to the Next Level Gernot Heiser∗ Kevin Elphinstone Add to Reading List Source URL: www.ok-labs.com Language: English - Date: 2010-10-07 14:23:47 Real-time operating systems Computing platforms Embedded operating systems L4 microkernel family Microkernel Monolithic kernels Gernot Heiser Kernel Mach Computer architecture Computing System software
76	SCHOOL OF COMPUTER SCIENCE & ENGINEERING A Formal Model of the L4 µ-kernel API Using the B Method Rafal Kolanski Add to Reading List Source URL: www.ssrg.nicta.com.au Language: English - Date: 2013-10-20 22:10:09 Kernel Monolithic kernels Mach Thread Formal verification Linux kernel Operating system Ring Isabelle Computer architecture Computing L4 microkernel family
77	Logical Attestation: An Authorization Architecture for Trustworthy Computing Emin Gün Sirer Willem de Bruijn† Patrick Reynolds‡ Alan Shieh Kevin Walsh Dan Williams Fred B. Schneider Computer Science Department, Corn Add to Reading List Source URL: sigops.org Language: English - Date: 2011-09-20 03:37:00 Trusted computing Cryptography Hashing Monolithic kernels Next-Generation Secure Computing Base Trusted Platform Module Procfs Kernel Hash table Computer architecture Computing Computer security
78	Environmental Independence: BSD Kernel TCP/IP in Userspace Antti Kantee Helsinki University of Technology [removed] Abstract Add to Reading List Source URL: 2009.asiabsdcon.org Language: English - Date: 2014-01-03 03:46:41 Unix NetBSD Monolithic kernels Computing platforms Ioctl Thread Microkernel Kernel Internet protocol suite Software Computing System software
79	L4/Darwin: Evolving UNIX Geoffrey Lee and Charles Gray National ICT Australia, Sydney, Australia Abstract the full Linux kernel tree currently contains millions of Add to Reading List Source URL: ssrg.nicta.com.au Language: English - Date: 2013-10-20 22:10:13 Mac OS X Mach Monolithic kernels XNU Microkernel Operating system kernels L4 microkernel family Darwin Kernel Computer architecture System software Software
80	The Linux FAQ David C. Merrill david −AT− lupercalia.net 2003−09−19 Revision History Add to Reading List Source URL: tldp.org Language: English - Date: 2005-01-25 17:11:23 Monolithic kernels Cross-platform software Linux kernel Embeddable Linux Kernel Subset Debian Operating system GNU/Linux naming controversy Book:Open Source Software Computer architecture Linux